$\forall$$a$, $b$:$\mathbb{Q}$. $a$ $\leq$ $b$ $\Leftarrow\!\Rightarrow$ 0 $\leq$ $b$ {-} $a$